Fix mispositioned window menu in hi-dpi
authorMatthias Clasen <mclasen@redhat.com>
Thu, 23 Oct 2014 02:49:31 +0000 (22:49 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 23 Oct 2014 02:49:31 +0000 (22:49 -0400)
commit318c97c959335307a2bf213db718c2b50f0f5f61
tree87eaecdf927982e81da77d4fd77be3b555028b20
parent35486e7990178a44939a36f882a66c09bcf0ce6a
Fix mispositioned window menu in hi-dpi

We always want to send the position in device pixels,
so apply the window scale before sending them out.

https://bugzilla.gnome.org/show_bug.cgi?id=738955
gdk/x11/gdkwindow-x11.c